Nuprl Definition : pi2
13,42
postcript
pdf
t
.2 == let
x
,
y
=
t
in
y
latex
Up
core
2
,
core
2
Wellformedness Lemmas
pi2
wf
,
pi2
wf
Definitions
let
x
,
y
=
A
in
B
(
x
;
y
)
FDL editor aliases
pi2
origin